Stichworte: longer satisfies